Lecture - Anabelian reconstructions principles
May 17 - 21, 2027 RIMS Kyoto, JP Lecturers: B. Collas (RIMS, JP), K. Sawada (RIMS, JP), S. Tsujimura (RIMS, JP)
This lecture program introduces the key ideas of anabelian geometry, focusing on how arithmetic and geometric objects can be reconstructed from their associated Galois or fundamental groups. Starting with the arithmetic of the étale fundamental group and the example of the projective line minus three points, the series illustrates how discrete invariants, such as inertia and decomposition groups, can be recovered using group-theoretic methods.
The lectures then develop reconstruction techniques for fields and curves, including Uchida-style field reconstruction using tools from class field theory, as well as Tamagawa’s approach to the anabelian geometry of affine curves. The program concludes with topics in absolute and mono-anabelian geometry, covering methods for reconstructing p-adic fields, cyclotomic data, and invariants arising from p-adic Hodge theory. One lecture is dedicated to explore how aspects of these ideas can be explored into Lean's formalized mathematical setting.
Scientific Program & schedule
Arithmetic invariants from homotopy Galois theory
(Mo) May 17, 2027 - 9:00-11:30 Lecturer: B. CollasIntroduction to the arithmetic of the étale fundamental group through its geometric Galois action. The lecture studies the example of the projective line minus three points and explains how inertia and decomposition groups can be reconstructed using Nakamura’s lemma.
Keywords: Étale fundamental group; Geometric Galois action; Inertia and decomposition groups; Nakamura’s lemma.Fields reconstruction à la Uchida
(Tue) May 18, 2027 - 9:00-11:30 Lecturer: K. SawadaPresentation of Uchida-style field reconstruction from group-theoretic data. The lecture covers valuations, units, and tools from local and global class field theory (Brauer groups and Artin reciprocity) leading to multiplicative and then additive reconstruction.
Keywords: Uchida reconstruction; Valuations and units; Class field theory; Brauer group; Artin reciprocity law.Anabelian geometry for affine curves
(Wed) May 19, 2027 - 9:00-11:30 Lecturer: B. CollasOverview of Tamagawa’s approach to anabelian geometry of curves over number fields and finite fields. Key tools include semistable models, the Oda–Tamagawa good reduction criterion, Lefschetz-type counting of rational points, and multiplicative reconstruction of function fields.
Keywords: Anabelian geometry of curves; Semistable models; Oda–Tamagawa criterion; Function field reconstruction.Lean & Anabelian arithmetic
(Wed) May 19, 2027 - 17:00-18:30 Lecturer: TBA.To be announced
Keywords: ...Elements of absolute anabelian geometry
(Thu) May 20, 2027 - 9:00-11:30 Lecturer: S. TsujimuraIntroduction to techniques in absolute anabelian geometry inspired by Mochizuki. The lecture discusses Belyi cuspidalization, synchronization of cyclotomic data via Kummer theory, and applications of Hochschild–Serre spectral sequence together with Uchida’s lemma.
Keywords: Absolute anabelian geometry; Belyi cuspidalization; Kummer theory; Cyclotomic synchronization; Uchida's lemma.Mono-anabelian reconstruction over p-adic fields
(Fr) May 21, 2027 - 9:00-11:30 Lecturer: K. SawadaStudy of mono-anabelian reconstruction for p-adic fields using purely group-theoretic methods. The lecture presents principles, examples and counterexamples in mixed characteristic, and algorithms recovering numerical field-related invariants and cyclotomic data.
Keywords: Mono-anabelian reconstruction; p-adic fields; Mixed characteristic; Numerical invariants; Cyclotomic synchronization.Anabelian properties of Hodge-Tate representations
(Fr) May 21, 2027 - 17:00-18:30 Lecturer: S. TsujimuraExploration of anabelian properties for p-adic Hodge theory. After introducing Hodge–Tate representations, the lecture explains absolute anabelian reconstruction for local p-adic fields and additive reconstruction via the ramification filtration.
Keywords: Hodge–Tate representations; p-adic Hodge theory; Local p-adic fields; Ramification filtration; Additive reconstruction.References - Books
- L. Fu, Étale Cohomology Theory, Nankai Tracts in Mathematics, Vol. 14, 2015.
- A. Grothendieck; M. Raynaud, Revêtements étales et groupe fondamental (SGA 1), Documents Mathématiques (Paris), Vol. 3, Paris: SMF, 2003.
- J. Neukirch , A. Schmidt , K. Wingberg. Cohomology of Number Fields, Grundlehren der mathematischen Wissenschaften, Springer, 2008 -- esp. chapters (3,)6,7,8,9(,12).
- J.-P. Serre, Local Fields, Graduate Texts in Mathematics 67, Springer, 1979.
- J. Neukirch, Algebraic Number Theory, Grundlehren der mathematischen Wissenschaften 322, Springer, 1999.
- J.-P. Serre, Abelian ℓ-adic Representations and Elliptic Curves, W. A. Benjamin, Inc., 1968.
References - Research articles
- Y. Hoshi, Introduction to Mono-Anabelian Geometry, Publ. Math. Besançon, 2021.
- Y. Hoshi, A note on the geometricity of open homomorphisms between the absolute Galois groups of p-adic local fields,Kodai Math. J. 36, no. 2, 2013.
- H. Nakamura, Rigidity of the arithmetic fundamental group of the punctured projective line,J. Reine Angew. Math. 405, 1990.
- S. Mochizuki, A Version of the Grothendieck Conjecture for p-adic Local Fields,Internat. J. Math. 8, 1997.
- S. Mochizuki, Topics in Absolute Anabelian Geometry I, II, & III,J. Math. Sci. Univ. Tokyo 19, 20, 22 (2012, 2013, 2015).
- K. Sawada, Algorithmic approach to Uchida’s theorem for one-dimensional function fields over finite fields, RIMS Kôkyûroku Bessatsu B84, 2021.
- A. Tamagawa, The Grothendieck Conjecture for affine curves, Compositio Math. 109, no. 2, 1997.
- K. Uchida, Isomorphisms of Galois Groups of Algebraic Function Fields,Annals of Mathematics, Vol. 106, no. 3, 1977.
Venue
All talks take place at RIMS, Kyoto University [How to come].
Registration
Registration to be opened...
Next events :: Lectures, Conference, Workshops...
Lectures - Variations around the Hilbert property
May 17-June 21, 2027 RIMSLecturers: A. Behajaina (Lille, FR), C. Demarche (IMJ-PRG, FR), A. Fehm (TU Dresden, DE), A. Javanpeykar (Radboud, NL), D. Neftin (Technion, IL)
Conference - Homotopy, rationality, and geometry
May 24 - 28, 2027 RIMSScientific committee: B. Collas (RIMS, JP), P. Dèbes (Lille, FR), C. Demarche (IMJ-PRG, FR), A. Fehm (TU Dresden, DE) & S. Mochizuki (RIMS, JP).
Workshop - Arithmetic invariants from homotopy Galois theory
May 31- June 1, 2027 RIMSOrg.: S. Philip (Stockholm, SE), N. Yamaguchi (IS Tokyo, JP)
